Generalized Silver and Miller measurability
نویسندگان
چکیده
منابع مشابه
Generalized Silver and Miller measurability
1 We present some results about the burgeoning research area concerning set theory of the “κ-reals”. We focus on some notions of measurability coming from generalizations of Silver and Miller trees. We present analogies and mostly differences from the classical setting.
متن کاملSilver Measurability and Its Relation to Other Regularity Properties
For a ⊆ b ⊆ ω with b\a infinite, the set D = {x ∈ [ω] : a ⊆ x ⊆ b} is called a doughnut. Doughnuts are equivalent to conditions of Silver forcing, and so, a set S ⊆ [ω] is called Silver measurable, also known as completely doughnut, if for every doughnut D there is a doughnut D′ ⊆ D which is contained or disjoint from S. In this paper, we investigate the Silver measurability of ∆2 and Σ 1 2 set...
متن کاملSilver Bullet Talks with Bart Miller
One of my favorite papers about Heartbleed was the one that you wrote with James Kupsch. Tell us about the methods you describe for software assurance and how they worked or didn’t work against the OpenSSL code base. Heartbleed was a wake-up call for a lot of people who were making assumptions about the security of open source software. It was also a wake-up call for people who were depending o...
متن کاملMeasurability and Computability
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing...
متن کاملAcfa and Measurability
We show that definable sets of finite S1-rank in algebraically closed fields with an automorphism can be measured.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2015
ISSN: 0942-5616
DOI: 10.1002/malq.201400020